module: ptLTL
name: Past Time Linear Temporal Logic
Description:
Future  time Linear Temporal  Logic (ftLTL for
short) was introduced by Pnueli in 1977 for
stating properties about reactive and concurrent systems. ftLTL
provides temporal operators that refer to the future/remaining
part of an execution trace relative to a current point of
reference. The logic plugin here is based on an rewriting-based algorithm for
generating a minimal special observer finite state machine
(FSM), or an automaton, from an ftLTL formula. 
::
